
    <!DOCTYPE html>
    <html lang="zh-CN">
    <head>
      <meta charset="UTF-8">
      <meta name="viewport" content="width=device-width, initial-scale=1.0">
      <title>Volatile指令重排语义 - 学习卡片</title>
      <style>
        body { font-family: sans-serif; background-color: #f0f8ff; color: #333; display: flex; flex-direction: column; align-items: center; padding: 50px 20px; }
        .header h1 { font-size: 32px; }
        .grid-container { display: grid; grid-template-columns: repeat(3, 1fr); gap: 28px; width: 100%; max-width: 1200px; }
        .card-container { perspective: 1200px; cursor: pointer; height: 250px; }
        .card { width: 100%; height: 100%; position: relative; transform-style: preserve-3d; transition: transform 0.7s; border-radius: 16px; box-shadow: 0 4px 16px rgba(0,0,0,0.08); }
        .card-container.flipped .card { transform: rotateY(180deg); }
        .card-face { position: absolute; width: 100%; height: 100%; backface-visibility: hidden; display: flex; flex-direction: column; box-sizing: border-box; border-radius: 16px; background-color: #fff; padding: 24px; }
        .card-back { background-color: #f0fff4; transform: rotateY(180deg); justify-content: space-between; }
        .card-category { font-size: 14px; color: #0052d9; margin-bottom: 8px; font-weight: 500; }
        .card-question { font-size: 20px; font-weight: 500; flex-grow: 1; display: flex; align-items: center; justify-content: center; text-align: center; }
        .card-answer-wrapper { flex-grow: 1; overflow-y: auto; }
        .card-answer { font-size: 15px; line-height: 1.7; }
        .card-footer { font-size: 13px; color: #8a919f; border-top: 1px solid #f0f0f0; padding-top: 16px; margin-top: 16px; }
        .card-source { font-size: 13px; color: #8a919f; border-top: 1px solid #f0f0f0; padding-top: 12px; margin-top: 12px; }
      </style>
    </head>
    <body>
      <div class="header">
        <h1>Volatile指令重排语义 - 学习卡片</h1>
      </div>
      <div class="grid-container">
        
    <div class="card-container" onclick="this.classList.toggle('flipped');">
      <div class="card">
        <div class="card-face card-front">
          <div class="card-category">特性</div>
          <div class="card-question">Java中的 `volatile` 关键字主要具备哪两个基本作用？</div>
          <div class="card-footer">点击卡片查看答案</div>
        </div>
        <div class="card-face card-back">
          <div class="card-category">特性</div>
          <div class="card-answer-wrapper">
            <div class="card-answer">1. 可见性：当一个线程修改了 `volatile` 变量的值，其他线程能够立即看到这个修改。2. 禁止指令重排：`volatile` 可以防止指令重排，确保变量的读写操作不会与其他操作重排，保证程序的执行顺序符合预期。</div>
          </div>
          <div class="card-source">来源: 1. volatile关键字的基本作用</div>
        </div>
      </div>
    </div>

    <div class="card-container" onclick="this.classList.toggle('flipped');">
      <div class="card">
        <div class="card-face card-front">
          <div class="card-category">理论</div>
          <div class="card-question">什么是指令重排？为什么它在多线程环境下是一个需要关注的问题？</div>
          <div class="card-footer">点击卡片查看答案</div>
        </div>
        <div class="card-face card-back">
          <div class="card-category">理论</div>
          <div class="card-answer-wrapper">
            <div class="card-answer">指令重排是指编译器和处理器为了提高性能，可能会改变指令的执行顺序。虽然这种重排通常不会改变程序的最终结果，但在多线程环境中可能会引入潜在的同步问题。</div>
          </div>
          <div class="card-source">来源: 2. 指令重排的概念</div>
        </div>
      </div>
    </div>

    <div class="card-container" onclick="this.classList.toggle('flipped');">
      <div class="card">
        <div class="card-face card-front">
          <div class="card-category">机制</div>
          <div class="card-question">`volatile` 是如何实现其“禁止指令重排”这一特性的？</div>
          <div class="card-footer">点击卡片查看答案</div>
        </div>
        <div class="card-face card-back">
          <div class="card-category">机制</div>
          <div class="card-answer-wrapper">
            <div class="card-answer">`volatile` 通过内存屏障（memory barrier）来禁止指令重排。JVM会在 `volatile` 变量的读写操作之前和之后插入适当的内存屏障，这是一种CPU指令，用于确保特定的内存操作顺序执行，从而防止重排。</div>
          </div>
          <div class="card-source">来源: 3. volatile与指令重排 & 5. 内存屏障</div>
        </div>
      </div>
    </div>

    <div class="card-container" onclick="this.classList.toggle('flipped');">
      <div class="card">
        <div class="card-face card-front">
          <div class="card-category">比较</div>
          <div class="card-question">与 `synchronized` 关键字相比，`volatile` 在同步保证方面有哪些局限性？</div>
          <div class="card-footer">点击卡片查看答案</div>
        </div>
        <div class="card-face card-back">
          <div class="card-category">比较</div>
          <div class="card-answer-wrapper">
            <div class="card-answer">`volatile` 的主要局限性在于它不提供原子性和互斥性。它只保证可见性和禁止指令重排，而 `synchronized` 关键字则能同时保证可见性、原子性和互斥性。</div>
          </div>
          <div class="card-source">来源: 6. volatile与其他同步机制的比较</div>
        </div>
      </div>
    </div>

    <div class="card-container" onclick="this.classList.toggle('flipped');">
      <div class="card">
        <div class="card-face card-front">
          <div class="card-category">应用</div>
          <div class="card-question">在文档提供的示例代码中，如果 `flag` 变量没有 `volatile` 修饰，`thread2` 可能会观察到什么不正确的结果？</div>
          <div class="card-footer">点击卡片查看答案</div>
        </div>
        <div class="card-face card-back">
          <div class="card-category">应用</div>
          <div class="card-answer-wrapper">
            <div class="card-answer">如果没有 `volatile`，`count = 1` 和 `flag = true` 这两行代码可能会被指令重排。这会导致 `thread2` 在检查到 `flag` 为 `true` 时，`count` 的值可能仍然是 `0`，而不是预期的 `1`。</div>
          </div>
          <div class="card-source">来源: 4. 示例与解释</div>
        </div>
      </div>
    </div>

    <div class="card-container" onclick="this.classList.toggle('flipped');">
      <div class="card">
        <div class="card-face card-front">
          <div class="card-category">特性</div>
          <div class="card-question">列举两个 `volatile` 关键字在实际编程中的常见应用场景。</div>
          <div class="card-footer">点击卡片查看答案</div>
        </div>
        <div class="card-face card-back">
          <div class="card-category">特性</div>
          <div class="card-answer-wrapper">
            <div class="card-answer">1. 用作状态标志变量，例如表示线程间的状态或停止标志。2. 在实现双重检查锁定（Double-Checked Locking）单例模式时使用，以确保实例的正确初始化和可见性。</div>
          </div>
          <div class="card-source">来源: 7. 实际应用</div>
        </div>
      </div>
    </div>

      </div>
    </body>
    </html>
